Newton–Krylov-BDDC deluxe solvers for non-symmetric fully implicit time discretizations of the bidomain model

Abstract A novel theoretical convergence rate estimate for a Balancing Domain Decomposition by Constraints algorithm is proven the solution of cardiac bidomain model, describing propagation electric impulse in tissue. The non-linear system arises from fully implicit time discretization and monolithic approach. preconditioned non-symmetric operator constructed linearized arising within Newton–Krylov approach problem; we theoretically analyze prove bound Generalised Minimal Residual iterations’ residual. theory confirmed extensive parallel numerical tests, widening class robust efficient solvers discretizations model.